1. Automated deduction for projection elimination
پدیدآورنده : / Vhristoph Wernhard.,ورنهارد,Wernhard
کتابخانه: National Library and Archives of Islamic Republic of Iran (Tehran)
موضوع : شناختنمایی (نظریه اطلاعات),معنیشناسی
رده :
Q
۳۸۷
/
و
۴
آ
۲ ۱۳۸۸